Publication IV
نویسندگان
چکیده
This paper discusses bounded model checking (BMC) for asynchronous systems. Bounded model checking is a technique that employs the power of efficient SAT and SMT solvers for model checking. The main contribution of this paper is the presentation of a simple modeling formalism independent way of translating an asynchronous system into a transition formula for three partial order semantics: the ∃-step semantics, its generalization, the relaxed ∃-step semantics, and a novel variant that combines the latter with the idea of process semantics. Step and process semantics have been introduced in earlier works for different low level asynchronous system formalisms to improve the efficiency of BMC. However, this paper is the first one showing how to translate the semantics for any asynchronous system modeling formalism including high-level data manipulation operationswhile encoding the independence of actions in a dynamic fashion. Thus, the approaches have been extended to cover a larger class of modeling formalisms. The technical approach uses the notion of a coherent encoding of the transition relation, making for a simple and elegant translation of the partial order semantics in question. The presented translations have been implemented andwe present extensive empirical results comparing the efficiency of the different translations to each other as well as to an explicit state model checker DiVinE on its own BEEM benchmark suite. © 2011 Elsevier B.V. All rights reserved.
منابع مشابه
طبقه بندی، همه گیر شناسی و هم ابتلایی اختلالات اعتیاد 1
Revised only twice in the 28 – year period from 1952 to 1980, the American Psychiatric Association`s Diagnostic and Statistical Manual of Mental Disorders (DSM) has been amended two more times in half as many years, with the publication of DSM – III – R in 1987 and of DSM – IV in 1994. The DSM counterpart in use outside of North America, the International Classification of Diseases (ICD), also ...
متن کاملPublication Ethics: A Case Series with Recommendations According to Committee on Publication Ethics (COPE)
Ethical misconduct is not a new issue in the history of science and literature. However, ethical misconducts in science have grown considerably in the modern era which is due to emphasis on the scientific proliferation in research institutes and gauging scientists according to their publications. In the current case series, several misconducts occurring over the previous years in Mashhad Univer...
متن کاملPublication Ethics: Many Facets, Collaboration Required
Sir, the recent publication on “Publication Ethics” is very interesting (1). The article by Fazly Bazzaz and Sadeghi demonstrated many interesting cases of misconducts. Indeed, the misconducts can be seen in many ways. As mentioned in the present publication, both author and editor can perform publication misconducts. Nevertheless, the problem has many more facets. Sometimes,...
متن کاملتأخیر در انتشار مجله‌های علمی: مطالعه نشریات مصوب وزارت علوم، تحقیقات و فناوری ایران
: Publication delay is a negative phenomenon in scientific information dissemination. The current research studies the publication delay of scientific journals accredited by the Ministry of Science, Research & Technology of Iran. It also investigates the association between journals’ characteristics and their publication lag. This study employs the applied research method. All 1156 journals of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011